On Systems of Self-Consistent Abstractions
نویسندگان
چکیده
منابع مشابه
Consistent abstractions of affine control systems
In this paper, we consider the problem of constructing abstractions of affine control systems that preserve reachability properties, and, in particular, local accessibility. In this framework, showing local accessibility of the higher level, abstracted model is equivalent to showing local accessibility of the, more detailed, lower level model. Given an affine control system and a smooth surject...
متن کاملSelf-Consistent Theory of Bose-Condensed Systems
In the theory of Bose-condensed systems, there exists the well known problem, the Hohenberg-Martin dilemma of conserving versus gapless approximations. This dilemma is analysed and it is shown that it arises because of the internal inconsistency of the standard grand ensemble, as applied to Bose-systems with broken global gauge symmetry. A solution of the problem is proposed, based on the notio...
متن کاملan investigation of the impact of self monitoring on langauge teachers motivational practice and its effect on learners motivation
the central purpose of this study was to conduct a case study about the role of self monitoring in teacher’s use of motivational strategies. furthermore it focused on how these strategies affected students’ motivational behavior. although many studies have been done to investigate teachers’ motivational strategies use (cheng & d?rnyei, 2007; d?rnyei & csizer, 1998; green, 2001, guilloteaux & d?...
Self-Consistent Analysis of Barrier Characterization Effects on Quantum Well Laser Internal Performance
In this paper, a numerical study of barrier characterization effects on the high-temperature internal performance of an InGaAsP multi-quantum well laser is presented. The softwareused for this purpose self-consistently combines the three-dimensional simulation of carrier transports, self-heating, and optical waveguiding. The laser model calculates all relevant physical mechanisms, including the...
متن کاملAbstractions for hybrid systems
ions for Hybrid Systems ∗ Ashish Tiwari ([email protected]) SRI International, 333 Ravenswood Ave, Menlo Park, CA, U.S.A Abstract. We present a procedure for constructing sound finite-state discrete abstractions of hybrid systems. This procedure uses ideas from predicate abstraction to abstract the discrete dynamics and qualitative reasoning to abstract the continuous dynamics of the hybrid sy...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nagoya Mathematical Journal
سال: 1966
ISSN: 0027-7630,2152-6842
DOI: 10.1017/s0027763000024016